Branch theory - PDFSEARCH.IO - Document Search Engine

Branch theory
Results: 235

#	Item
71	Proceedings of the Twenty-Third Australasian Database Conference (ADC 2012), Melbourne, Australia A Branch and Bound Method for Min-dist Location Selection Queries Jianzhong Qi1 Zhenghua Xu2 Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2012-04-27 08:47:18 Complexity classes Operations research NP Facility location Branch and bound Time complexity Theoretical computer science Computational complexity theory Applied mathematics
72	Termination Casts: A Flexible Approach to Termination with General Recursion Vilhelm Sj¨oberg Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:25 Proof theory Deduction Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Entailment Valuation Branch point Logic Abstract algebra Mathematics
73	Accurate Static Branch Prediction by Value Range Propagation Add to Reading List Source URL: www.lighterra.com Language: English - Date: 2013-09-07 20:18:58 Computing Compiler construction Programming language implementation Static single assignment form Constant folding Register allocation Use-define chain Compiler Variable Compiler optimizations Software engineering Programming language theory
74	COMPLIANCE COMMITTEE CC/FB[removed]May[removed]FACILITATIVE BRANCH Add to Reading List Source URL: unfccc.int Language: English - Date: 2007-11-30 11:21:53 Agenda Facilitation Committee Social psychology Politics Human communication Meetings Parliamentary procedure Organizational theory
75	28 November[removed]General Manager Adjudication Branch Australian Competition and Consumer Commission PO Box 1199 Add to Reading List Source URL: www.scca.org.au Language: English - Date: 2006-11-28 20:47:23 Business Labour relations Competition and Consumer Act Competition law Australian Competition and Consumer Commission Collective bargaining Notification system Bargaining Bargaining theory Commerce Cooperative games
76	A quick summary of the field of Parameterized Complexity, 2012 Overview Parameterized Complexity is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2012-09-22 20:37:29 Analysis of algorithms Parameterized complexity Michael Fellows Kernelization Bidimensionality Exponential time hypothesis Time complexity Complexity FO Theoretical computer science Computational complexity theory Applied mathematics
77	AUSTRALIAN ASSOCIATION FOR INFANT MENTAL HEALTH SOUTH AUSTRALIAN BRANCH Thursday, 7 April[removed]Dear Committee Secretary Add to Reading List Source URL: www.aaimhi.org Language: English - Date: 2012-01-06 07:20:00 Infancy Interpersonal relationships Mental health Psychoanalysis Infant mental health Attachment theory Infant Child care Day care Behavior Human development Childhood
78	This guidebook is prepared by the Occupational Safety and Health Branch Labour Department First edition Add to Reading List Source URL: www.labour.gov.hk Language: English - Date: 2012-12-17 16:32:28 Hazardous materials Explosive material Dangerous goods Substance theory Corrosive substance Chemical substance Packaging and labeling Globally Harmonized System of Classification and Labelling of Chemicals Safety Prevention Security
79	Testing ideas: using longitudinal data to go beyond exploratory research. Dr Judy Schneider Branch Manager, Research and Analysis, FaHCSIA Presentation to National Statistical Service Add to Reading List Source URL: www.nss.gov.au Language: English - Date: 2013-09-24 21:39:58 Knowledge Ethology Exploratory research Theory Scientific theory Research Science Philosophy of science Scientific method
80	Yet Harder Knapsack ProblemsI Stasys Jukna∗,1 Georg Schnitger University of Frankfurt, Institut of Computer Science, DFrankfurt, Germany. Abstract Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2011-10-21 09:58:40 Computational complexity theory Combinatorial optimization NP-complete problems Cryptography Dynamic programming Knapsack problem Branch and bound Optimization problem Backtracking Operations research Theoretical computer science Applied mathematics

UPDATE